1. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
2. Computational logic and human thinking :
پدیدآورنده : Robert Kowalski
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
رده :
Q342
.
K69
2011
3. Model-based reasoning in science and technology :
پدیدآورنده : Ángel Nepomuceno-Fernández, Lorenzo Magnani, Francisco J. Salguero-Lamillar, Cristina Barés-Gómez, Matthieu Fontaine, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Model-based reasoning, Congresses.,Model-based reasoning.
رده :
Q339
.
19
.
M63
2018eb
4. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
